Formal methods for mobile computing (Bertinoro, 26-30 April 2005, advanced lectures)Bernardo, Marco; Bogliolo, Alessandro.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-25697-0, VI, 270 p, isbn 3-540-25697-0Conference Proceedings

MATA 2003 : mobile agents for telecommunication applications (Marrakech, 8-10 October 2003)Horlait, Eric; Magedanz, Thomas; Glitho, Roch H et al.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-20298-6, IX, 295 p, isbn 3-540-20298-6Conference Proceedings

An ontology for mobile agents in the context of formal verificationSALEM DA SILVA, Paulo; VIEIRA DE MELO, Ana Cristina.Lecture notes in computer science. 2005, pp 1500-1516, issn 0302-9743, isbn 3-540-29736-7, 2Vol, 17 p.Conference Paper

MA 2002 : mobile agents (Barcelona, 22-25 October 2002)Suri, Niranjan.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-00085-2, X, 201 p, isbn 3-540-00085-2Conference Proceedings

Mobile agents and logic programmingHAYASHI, Hisashi; CHO, Kenta; OHSUGA, Akihiko et al.Lecture notes in computer science. 2002, pp 32-46, issn 0302-9743, isbn 3-540-00085-2, 15 p.Conference Paper

How to play sherlock holmes in the world of mobile agentsCUBALESKA, Biljana; WEIDONG QIU; SCHNEIDER, Markus et al.Lecture notes in computer science. 2002, pp 449-463, issn 0302-9743, isbn 3-540-43861-0, 15 p.Conference Paper

Boxed AmbientsBUGLIESI, Michele; CASTAGNA, Giuseppe; CRAFA, Silvia et al.Lecture notes in computer science. 2001, pp 38-63, issn 0302-9743, isbn 3-540-42736-8Conference Paper

Compiler based scheduling of Java Mobile agentsNARASIMHAN, Srivatsan; PANDE, Santosh.Lecture notes in computer science. 2001, pp 372-376, issn 0302-9743, isbn 3-540-42862-3Conference Paper

Agents for hand-held, mobile, or embedded devicesFININ, Tim.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-43858-0, p. 422Conference Paper

Ambient calculi with types: A tutorialGIOVANNETTI, Elio.Lecture notes in computer science. 2003, pp 151-191, issn 0302-9743, isbn 3-540-20583-7, 41 p.Conference Paper

Performance evaluation of mobile agents for E-commerce applicationsJHA, Rahul; IYER, Sridhar.Lecture notes in computer science. 2001, pp 331-340, issn 0302-9743, isbn 3-540-43009-1Conference Paper

Using a formal framework for agent system designCARCHIOLO, Vincenza; MALGERI, Michele; MANGIONI, Giuseppe et al.Lecture notes in computer science. 2001, pp 308-317, issn 0302-9743, isbn 3-540-42716-3Conference Paper

Exploiting transiently shared tuple spaces for location transparent code mobilityPICCO, Gian Pietro; BUSCHINI, Marco L.Lecture notes in computer science. 2002, pp 258-273, issn 0302-9743, isbn 3-540-43410-0Conference Paper

A fully abstract model for higher-order mobile ambientsCOPPO, Mario; DEZANI-CIANCAGLINI, Mariangiola.Lecture notes in computer science. 2002, pp 255-271, issn 0302-9743, isbn 3-540-43631-6Conference Paper

Constructing environment-aware mobile applications adaptive to small, networked appliances in ubiquitous computing environmentTAKASHIO, Kazunori; MORI, Masakazu; FUNAYAMA, Masataka et al.Lecture notes in computer science. 2003, pp 230-246, issn 0302-9743, isbn 3-540-00393-2, 17 p.Conference Paper

Secure multi-agent coordination in a network monitoring systemTRIPATHI, Anand R; KOKA, Muralidhar; KARANTH, Sandeep et al.Software engineering for large-scale multi-agent systems (research issues and practical applications). Lecture notes in computer science. 2003, pp 251-266, issn 0302-9743, isbn 3-540-08772-9, 16 p.Book Chapter

Bisimulation congruences in Safe AmbientsMERRO, Massimo; HENNESSY, Matthew.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 71-80, issn 1523-2867Conference Paper

Distributed mobile communication base station diagnosis and monitoring using multi-agentsFENG, J. Q; BUSE, D. P; WU, Q. H et al.Lecture notes in computer science. 2002, pp 267-272, issn 0302-9743, isbn 3-540-44025-9, 6 p.Conference Paper

Predictable, lightweight management agentsMOORE, Jonathan T; MOORE, Jessica Kornblum; NETTLES, Scott et al.Lecture notes in computer science. 2002, pp 111-119, issn 0302-9743, isbn 3-540-00223-5, 9 p.Conference Paper

Programming agent mobilityMONTANARI, Rebecca; TONTI, Gianluca; STEFANELLI, Cesare et al.Lecture notes in computer science. 2002, pp 287-296, issn 0302-9743, isbn 3-540-44173-5, 10 p.Conference Paper

Transparent QoS support of network applications using netletsDHARMALINGAM, Kalaiarul; COLLIER, Martin.Lecture notes in computer science. 2002, pp 206-215, issn 0302-9743, isbn 3-540-00021-6, 10 p.Conference Paper

Mobile agents for distributed processingNOY, Penny; SCHROEDER, Michael.Lecture notes in computer science. 2001, pp 263-265, issn 0302-9743, isbn 3-540-42315-XConference Paper

An overview of the use of mobile agents in virtual environmentsMENDEZ, Gonzalo; PEREZ, Pedro; DE ANTONIO, Angélica et al.Lecture notes in computer science. 2001, pp 126-136, issn 0302-9743, isbn 3-540-42570-5Conference Paper

Dynamic adaptation of mobile agents in heterogenous environmentsBRANDT, Raimund; REISER, Helmut.Lecture notes in computer science. 2001, pp 70-87, issn 0302-9743, isbn 3-540-42952-2Conference Paper

Page / 54